(DEFPROP MODCH (NIL SETBITS CLEARBITS M) VALUE) (DEFPROP SETBITS (LAMBDA (N M) (BOOLE 7 N M)) EXPR) (DEFPROP CLEARBITS (LAMBDA (N M) (BOOLE 2 M N)) EXPR) (DEFPROP M (LAMBDA (C) (MODCHR C (SETBITS (CLEARBITS (MODCHR C NIL) 160000000) 40000000))) EXPR)